BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

Source URL: www.brics.dk

• Functional languages
• Type theory
• Data types
• Lambda calculus
• Logic in computer science
• Type system
• ML
• OCaml
• Partial evaluation
• Software engineering
• Programming language theory
• Computing

Methodology and specifications guide ARGUS EUROPEAN EMiSSIONs MARKETs Contents: Methodology overview

Source URL: www.argusmedia.com

• Carbon finance
• Climate change policy
• Audit Record Generation and Utilization System
• Network flow
• Network management
• Fair value
• Futures contract
• European Union Emission Trading Scheme
• Derivative
• Business
• Finance
• Economics

Ink-Jet SX 7/16 The flexible marking system. Introducing a new generation of user friendly ink-jet printers

Source URL: www.maineshipping.com

• Media technology
• Inkjet printer
• Printer
• Ink
• Continuous ink system
• Parallax SX
• Printing
• Computer printers
• Office equipment

Safety Personal Area Network System http://us.generation-nt.com/oki-develops-world-first-dsrc-inter-vehicle-communication-presshtml Information Idea in short:

Source URL: www.safecycle.eu

• Satellite navigation systems
• Mobile technology
• GPS
• Technology systems
• Dedicated short-range communications
• Global Positioning System
• Universal asynchronous receiver/transmitter
• Mobile phone
• Technology
• Wireless
• Wireless networking

We Energies System Operations Impacts of Wind Generation Integration Initiated Mar 10, 2003 We Energies Energy System Operations Impacts of Wind Generation Integration Study

Source URL: www.uwig.org

DynJava: Type Safe Dynamic Code Generation in Java Yutaka Oiwa Hidehiko Masuhara Akinori Yonezawa

Source URL: wwwfun.kurims.kyoto-u.ac.jp

• Procedural programming languages
• Cross-platform software
• Type theory
• Java
• C
• Type system
• Regular expression
• Generator
• ALGOL 68
• Computing
• Software engineering
• Computer programming

Towards a Global System for Telematics Peter Van der Perre, ERTICO, Outline ƒ 3GT (Third Generation Telematics) ƒ Concept

Source URL: www.osgi.org

• General Packet Radio Service
• GSM
• SMS
• Telematics
• Hutchison 3G
• Technology
• Mobile technology
• Wireless

After the Blackout Achieving A Cleaner, More Reliable Electric System The National Association of State PIRGs

Source URL: www.frontiergroup.org

• Electric power transmission systems
• Electric power distribution
• Electric power transmission
• Electrical engineering
• Electrical safety
• Monopoly
• Electrical grid
• North American Electric Reliability Corporation
• Distributed generation
• Electric power
• Energy
• Technology

SKF Multilog On-line System IMx-W 24/7 condition monitoring to improve wind turbine reliability The SKF Multilog On-line System IMx-W is the next generation of powerful, costeffective solutions dedicated to wind tur

Source URL: www.wtgpartners.com

• Technology
• Hisingen
• SKF
• Accelerometer
• Analog-to-digital converter
• Reliability engineering
• Sampling rate
• Current loop
• Electronics
• Digital signal processing
• Electromagnetism

Brain rhythm cultures of neuronal explants, in which both the network level and the level of individual neurons are available for recording. A key function of such networks is the generation

Source URL: www.physio.unibe.ch

• Neurophysiology
• Electrophysiology
• Neural networks
• Neuroscience
• Multielectrode array
• Neural oscillation
• Biological neural network
• Spinal cord
• Neuron
• Biology
• Nervous system
• Mind